منابع مشابه
Scoped Dynamic Rewrite Rules
ion Generate new variable name and renaming rule for variables: NewVar : x -> y where new => y ; rules(RenameVar : Var(x) -> Var(y)) Can be used in renaming of many binding constructs.
متن کاملProgram Transformation with Scoped Dynamic Rewrite Rules
The applicability of term rewriting to program transformation is limited by the lack of control over rule application and by the context-free nature of rewrite rules. The first problem is addressed by languages supporting user-definable rewriting strategies. The second problem is addressed by the extension of rewriting strategies with scoped dynamic rewrite rules. Dynamic rules are defined at r...
متن کاملRules with Contextually Scoped Negation
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism. Especially negation as failure, which intuitively adopts a closed world view, is often claimed to be unsuitable for the Web where knowledge is notoriously incomplete. Nonetheless, it was suggested in the ongoing dis...
متن کاملPathogens reWritE Rho's Rules
Many bacterial pathogens use a specialized "type III" secretion system to deliver virulence effector proteins into host mammalian cells. In this issue of Cell, Alto et al. (2006) describe a new family of effectors that share a WxxxE sequence motif. These effectors directly stimulate host signaling pathways by mimicking activated Ras-like cellular GTPases.
متن کاملScoped and Dynamic Aspects with Classboxes
Atomically introducing changes to a group of classes is a challenging task. In addition, certain applications require that changes be applied dynamically without shutting down and restarting the application. In this paper we present an extension of classboxes to make them dynamic. A classbox is a kind of module that supports class extension and instance variable addition. Class extensions and d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00298-1